#ifndef __DPLL_OPENMP__
#define __DPLL_OPENMP__

#include "solver.h"
#include "list.h"
#include "util.h"
#include "dplltask.h"
#include "dpll.h"
#include<pthread.h>
#include"sse_avx.h"
#include<stdlib.h>
#include<omp.h> 
#define OMP_THREADNUM 2
#define MAX_TOTTASK  (1<<10)
#define MAX_TASK_CEER 10
_bool dpll_satisfiable_omp(cnf* _cnf);

#endif